Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 22 Jan 2026 22:15:51 +0000 (23:15 +0100)
committerMoritz Mühlenhoff <jmm@debian.org>
Thu, 22 Jan 2026 22:15:51 +0000 (23:15 +0100)
commit3711514d7aa172021cf63a6016e92018b592ccfd
treed0617ad174ffe1407bd1dee37421856d6188102d
parent96b23858a28c9176ad986392f2509f18a021e66d
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java